- категоричная совокупность
- categorical collection логика
Русско-английский научно-технический словарь Масловского. 2015.
категоричная совокупность
Look at other dictionaries:
ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
СТАБИЛЬНЫЕ И НЕСТАБИЛЬНЫЕ ТЕОРИИ — раздел моделей теории, изучающий стабильность элементарных теорий. Пусть Т полная теория первого порядка сигнатуры А модель теории Ти Сигнатура получается из добавлением символов с а выделенных элементов для всех Система <А, X> имеет сигнатуру … Математическая энциклопедия
